COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cs306.not[f86,jmc]	Notes for cs306
C00003 ENDMK
C⊗;
cs306.not[f86,jmc]	Notes for cs306

example from Henderson's functional programming

singletons[x,ones,twos] ← if at x then
	[if x ε twos then ones,twos
	else if x ε ones then delete[x,ones],x.twos
	else x.ones,twos]
			else singletons[d x,singletons[a x,ones,twos]]

Need a good example of modifying a program to produce communication
between branches.

See search.lsp[f86,jmc] for a version using pseudo-lists.